bitkeeper revision 1.1159.197.1 (41aa39a8_y7hSW5OrZc3_OWAfukaNw)

Add link to ttylinux homepage in the documentation.

diff --git a/docs/src/user.tex b/docs/src/user.tex
index b01ad5ba832ece99aaf96bf23853202edcf2f102..f098260378f2f10eb7fdef24578a01825f15b000 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -707,7 +707,9 @@ culminating in a login prompt.
 Ttylinux is a very small Linux distribution, designed to require very
 few resources.  We will use it as a concrete example of how to start a
 Xen domain.  Most users will probably want to install a full-featured
-distribution once they have mastered the basics.
+distribution once they have mastered the basics\footnote{ttylinux is
+maintained by Pascal Schmidt. You can download source packages from
+the distribution's home page: {\tt http://www.minimalinux.org/ttylinux/}}.
 
 \begin{enumerate}
 \item Download and extract the ttylinux disk image from the Files